((v1 v2 8) (v1 v3 3) (v2 v3 9) (v1 v4 6) (v2 v4 2) (v3 v4 5))
38
()